41. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
42. Descriptional complexity of formal systems :
پدیدآورنده : Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.
43. Descriptional complexity of formal systems :
پدیدآورنده : Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
رده :
QA267
.
3
.
D34
2011
44. Fundamentals of computation theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985
45. Knowledge and systems engineeringproceedings of the fifth International Conference KSE 2013
پدیدآورنده : Van Nam Huynh...]et al.[, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Information technology,Congresses ، Knowledge management,Congresses ، Knowledge representation )Information theory(,Congresses ، Image processing,Congresses ، Systems engineering,Congresses ، Human-computer interaction,Congresses ، Machine learning
رده :
QA76
.
76
46. Mathematial systems theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، System analysis-- Congresses,، Computer simulation,، Sequential machine theory-- Congresses,، Coding theory-- Congresses
رده :
QA
402
.
C56
47. Mathematical foundations of computer science
پدیدآورنده : Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
S89
1974
48. Mathematical foundations of computer science 2008
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
49. Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28 - September 1, 1989 : Proceedings
پدیدآورنده : A. Kreczmar, G. Mirkowska )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
379
50. Mathematical foundations of computer science 1988 : Proceedings of the 13th Symposium, Carlsbad, Czchoslovakia, August 29-September 2, 1988
پدیدآورنده : M.P. Chytil, L. Janiga, V. Koubek )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
324
51. Mathematical foundations of computer science 1980 : Proceedings of the 9th Symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده : edited by P. Dembinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
88
52. Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdansk, September 6-10, 1976
پدیدآورنده : edited by A. Mazurkiewicz
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Formal languages,Congresses ، Machine theory,Congresses ، Computer programming
رده :
QA
267
.
3
.
S93
1976
53. Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdansk, September 6-10, 1976
پدیدآورنده : edited by A. Mazurkiewicz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
45
54. Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranska Lomnica, September 5-9, 1977
پدیدآورنده : edited by J. Gruska
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
S97
1977
55. Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranska'Lomnica September 5-9, 1977
پدیدآورنده : edited by J. Gruska
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
53
56. Proceedings : 34th Annual Symposium on Foundations of Computer Science, Novenber 3-5, 1993, Palo Alto, California
پدیدآورنده : sponsord by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Switching theory - Congresses , Machine theory - Congresses , Electronic data processing - Congresses , Computer Science-Congresses
رده :
QA
268
.
5
.
S95
1993
57. Sequences, subsequences, and consequences
پدیدآورنده : / Solomon W. Golomb ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Coding theory--Congresses,Sequences (Mathematics)--Congresses,Sequential machine theory--Congresses,Data encryption (Computer science)--Congresses
رده :
QA
,
268
,.
S68
,
2007
58. Sequences, subsequences, and consequences
پدیدآورنده : / Solomon W. Golomb ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Coding theory, Congresses,Sequences (Mathematics), Congresses,Sequential machine theory, Congresses,Data encryption (Computer science), Congresses
رده :
E-BOOK
59. Systems and computer science
پدیدآورنده : Conference on Systems and Computer Science, 5691, University of Western Ontario
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory-- Congresses,، Computer science-- Congresses
رده :
QA
267
.
C6
1965
